Stephen Williams - PDFSEARCH.IO - Document Search Engine

Stephen Williams
Results: 133

#	Item
31	Automatic Synchronization Correction for Atomicity Cormac Flanagan Stephen N. Freund Department of Computer Science Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:20
32	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs Caitlin Sadowski1 1 Stephen N. Freund2 Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2009-04-16 21:45:10
33	Programming Languages as Part of Core Computer Science Kim Bruce Stephen N. Freund Computer Science Department Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2011-01-18 16:16:09
34	FastTrack: Efficient and Precise Dynamic Race Detection Cormac Flanagan Stephen N. Freund Computer Science Department Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2009-04-16 21:42:39
35	The Role of Programming Languages in Teaching Concurrency Kim B. Bruce Pomona College Stephen N. Freund Williams College Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2011-01-18 16:16:09
36	Why Undergraduates Should Learn the Principles of Programming Languages∗ ACM SIGPLAN Education Board Stephen N. Freund (Williams College), Dan Grossman, Chair (University of Washington), Kim Bruce (Pomona College), Cur Add to Reading List Source URL: www.cs.pomona.edu Language: English - Date: 2011-02-07 11:38:53
37	Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs Cormac Flanagan Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2008-03-27 13:21:07
38	DOI: FastTrack: Efficient and Precise Dynamic Race Detection By Cormac Flanagan and Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2011-01-02 12:02:47
39	RedCard: Redundant Check Elimination for Dynamic Race Detectors Cormac Flanagan1 and Stephen N. Freund2 1 University of California at Santa Cruz Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2013-07-12 09:39:33
40	A Type System for Object Initialization in the Java Bytecode Language STEPHEN N. FREUND and JOHN C. MITCHELL Stanford University In the standard Java implementation, a Java language program is compiled to Java bytecode. Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:19

UPDATE